floating point number - Englisch Synonyme Wörterbuch